Parallel or event-driven goal setting mechanism in Petri net based models of expert decision behaviour

Decisions and actions produced by computer users (observed process) contain much information about their mental models, individual problem solving strategy and underlying decision structure for a given task. Our tool AMME analyses observed processes and automatically extracts a Petri net description of the task dependent decision structure (logical structure). This net is extended by goal setting structures (modelling) and executed (simulated process). The aim is functional equivalence between observed and simulated processes. Two modelling strategies, event-driven and parallel goal setting, are presented.